push-push operation - German English Dictionary